More from this Author

Tools and Algorithms for the Construction and Analysis of Systems

by Orna Grumberg (Editor), Michael Huth (Editor)

Languages: from Formal to Natural

by Orna Grumberg (Editor), Michael Kaminski (Editor), Shmuel Katz (Editor), Shuly Wintner (Editor)

Software Safety and Security

by Tobias Nipkow (Editor), Orna Grumberg (Editor)